Our aim is to provide empirical evidence that diagrammatic logics are more effective than symbolic and textual logics in allowing people to better understand information. Ontologies provide an important focus for such an empirical study: people need to understand the axioms of which ontologies comprise. A between-groups study compared six frequently-used axiom types using the (textual) Manchester OWL Syntax (MOS), (symbolic) description logic (DL) and concept diagrams. Concept diagrams yielded significantly better task performance than DL for all six, and MOS for four, axiom types. MOS outperformed concept diagrams for just one axiom type and DL for only three axiom types. Thus diagrams could ensure ontologies are developed more robustly.
展开▼
机译: + Sup> [n i Sub>] f(2 n Sup>)和- Sup> []的位置符号结构的转换方法n i Sub>] f(2 n Sup>)模拟信号参数转换为± Sup> [n i Sub>] f(2 n Sup>)使用三进制表示法f(+1,0,-1)的算术公理的“附加代码”的模拟信号参数结构(俄罗斯逻辑版本)